从安全发展视角看煤老板的历史命运

煤老板是私营煤矿主的代名词,他们在市场经济发展的一个特殊过程中出现,也起到过特殊的历史作用。由于造成安全事故,破坏生态环境,引起官煤勾结的腐败现象,在新一轮煤炭资源整合中,他们中的一部分将彻底退出历史舞台,一部分将转变为煤矿企业的股东。针对为煤老板辩护、反对煤炭资源整合的论点,本文分析了煤老板产生的历史过程,从安全视角探讨了煤炭资源整合的必要性和煤老板退出历史舞台的历史必然性,指出规模过小、安全技术低下,是矿难频发的重要原因,只有通过资源整合重组,使煤矿企业做大做强,才能够从根本上遏制矿难,实现安全发展。     

基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

Fe-8/11Mn-4Al-0.2C钢的力学性能及应变硬化行为

对Fe-8Mn-4Al-0.2C(8Mn)和Fe-11Mn-4Al-0.2C(11Mn)实验钢进行不同温度的淬火热处理,实现奥氏体体积分数和稳定性的最优化.通过拉伸实验可得,8Mn钢和11Mn钢在淬火温度为750℃时,获得最佳的力学性能组合,即强塑积为46.4 GPa%和66.9 GPa%.8Mn-750试样和11Mn-750试样在拉伸过程中表现出相同的三阶段应变硬化行为.通过XRD测定变形过程中奥氏体体积分数的变化,研究发现TRIP效应主要发生在变形的第二和第三阶段.11Mn-750试样由于具有更高的奥氏体含量、转变量和稳定性,使得其塑性远远高于8Mn-750试样.     

关于Frobenius群的推广形式

Frobenius群在有限群理论的发展过程中有着非常重要的作用,介绍了Camina对、广义Camina对、(CI)条件及(*)条件等几种常见的Frobenius群和Frobenius核的推广形式,得到了满足(*)条件的有限群和Frobenius群及其它几种推广形式之间的关系.     

纤维金属层板的拉伸性能研究

GLARE是一种先进的混杂层板材料,由高韧度薄铝合金层和高强度玻璃纤维/环氧树脂层交替铺设而成,具有独特的轻质、耐疲劳、耐冲击、高阻燃性和耐腐蚀属性.系统地对GLARE层板进行了静力拉伸测试,展示了铺层结构和铺层类型对其静力学性能的影响,并对混杂模型的适用性进行了验证.结果显示:采用混杂模型法预测GLARE层的轴向弹性模量具有较高的精度,但进行强度预测时对于部分类型的层板需要考虑纤维的桥接作用.     

凸数列的几个加权和性质

利用著名的Abel变换，给出了凸数列的几个加权和性质．     

基于节点标号的Koch网络结构性质研究

针对正多边形Koch分形岛所映射成的Koch网络,根据节点接入网络的时间和位置信息给节点标号。在节点标号的基础上,研究网络的最短路由及计算最短路径长度;并分析网络的主要结构性质,如节点的度、度分布和累积度分布函数,以及网络的聚类系数、平均最短路径长度、度关联函数和介数中心性,得出结构性质的解析解。结果表明,所构建的Koch网络是无标度和小世界的;其聚类系数趋向于比较大的常数值;平均路径长度与网络节点数的对数呈正比关系,度相关函数、点介数和边介数都随节点度的变化而指数变化。     

Development of liquid-nitrogen-cooling friction stir spot welding for AZ31 magnesium alloy joints

A liquid-nitrogen-cooling friction stir spot welding (C-FSSW) technology was developed for welding AZ31 magnesium alloy sheets. The liquid-nitrogen cooling degraded the deformability of the welded materials such that the width of interfacial cracks increased with increasing cooling time. The grain size of the stirred zone (SZ) and the heat-affected zone (HAZ) of the C-FSSW-welded joints decreased, whereas that of the thermomechanically affected zone (TMAZ) increased with increasing cooling time. The maximum tensile shear load of the C-FSSW-welded joints welded with a cooling time of 5 or 7 s was larger than that of the friction stir spot welding (FSSW)-welded joint, and the tensile shear load decreased with increasing cooling time. The microhardness of the C-FSSW-welded joints was greater than that of the FSSW-welded joint. Moreover, the microhardness of the SZ and the HAZ of the C-FSSW-welded joints increased, whereas that of the TMAZ decreased, with increasing cooling time.     

工程系统的复杂性特征研究初探

工程进入大尺度复杂系统时代,需要Ilities研究以应对其自身及环境的变化。Ili-ties主要起源于工程问题,在工程实践中发展成为多维度的衡量指标、构建方法和范式,成为工程系统功效、性能和架构目标的表征。Ilities反映了工程建构的系统性思维,研究它对我国工程建设具有实践和理论意义。     

论高校图书馆知识产权保护存在的问题及对策

高校新产生的知识产品与典藏信息资源的知识产权保护问题,是高校图书馆面临的既传统又具有新颖性的问题。分析了高校图书馆知识产权保护的主要对象,指出了高校图书馆知识产权保护存在的问题,并提出了相应的对策。